- конечное доказательство
- finite proof мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечное доказательство
Look at other dictionaries:
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия
Лемма Гейне — Бореля — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
БОГ — «весьма трудно и, быть может, невозможно, дать такое определение слову «Бог», которое бы включило в себя все значения этого слова и его эквивалентов в других языках. Даже если определить Бога самым общим образом, как «сверхчеловеческое или… … Философская энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
ЧИСЕЛ ТЕОРИЯ — раздел чистой математики, занимающийся изучением целых чисел 0, ±1, ±2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. Отдельные вычисления, производимые над конкретными числами, например, 9 + 16 = 25, не… … Энциклопедия Кольера
ДУНС СКОТ — (Duns Scotus) Иоанн (1265/1266 1308) средневековый философ и теолог, прозванный за свою склонность к сложным логическим дистинкциям «Тонким доктором» (doctor subtilis). Род. в Шотландии, вступил в францисканский орден в возрасте около пятнадцати… … Философская энциклопедия
Теорема Александера о предбазе — Теорема Александера о предбазе[1] (англ. Alexander Subbase Theorem) теорема общей топологии, устанавливающая критерий компактности топологического пространства. Компактным называется пространство, допускающая выделение из каждого своего… … Википедия
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
